package test.proxy.sample;

//start extract TimeInterval
import java.util.Date;

/**
 * Class invariant: start() <= end()
 */
interface TimeInterval {
    Date getStart();
    Date getEnd();
}
//stop extract TimeInterval
